An axiomatization of predicate functor logic.

An Introduction to Predicate-functor Logic

design of an analog fuzzy logic controller chip

fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...

an application of fuzzy logic for car insurance underwriting

در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...

An Axiomatization of Full Computation Tree Logic

We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic. ?

Predicate logic

Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...